1.28/1.80	unsat
