6.96/10.58	unsat
