13.06/14.92	unsat
