105.96/106.80	unsat
