1.28/3.26	unsat
