100.31/103.02	unsat
