9.79/12.50	unsat
