6.17/10.00	unsat
