1.29/3.26	unsat
