1.28/5.82	unsat
