6.64/10.00	unsat
