9.97/12.80	unsat
