9.85/12.51	unsat
