1.18/4.80	unsat
