1.28/3.22	unsat
