14.26/16.69	unsat
