105.50/106.65	unsat
