6.52/15.00	unsat
