1.48/1.80	unsat
