14.26/15.87	unsat
