100.51/103.78	unsat
