5.72/7.31	unsat
