2.29/3.22	unsat
