5.29/7.82	unsat
