1.29/3.36	unsat
