11.57/13.32	unsat
