6.08/10.24	unsat
