9.90/12.42	unsat
