6.72/10.81	unsat
