105.86/106.14	unsat
