1.29/2.04	unsat
