13.92/14.69	unsat
