7.63/11.00	unsat
