1.29/1.80	unsat
