14.26/14.87	unsat
