6.96/10.72	unsat
