5.31/7.82	unsat
