2.29/3.28	unsat
