13.17/15.00	unsat
