104.51/105.14	unsat
