1.29/3.10	unsat
