9.98/10.23	unsat
