105.96/106.29	unsat
