1.28/4.80	unsat
