100.31/102.99	unsat
