6.28/10.82	unsat
