1.29/3.31	unsat
