5.29/7.81	unsat
