1.28/3.28	unsat
