29.29/29.31	unsat
