3.18/4.80	unsat
