5.72/7.29	unsat
