14.25/15.34	unsat
