11.67/13.52	unsat
