105.75/110.86	unsat
