1.29/3.20	unsat
