1.39/4.80	unsat
