14.85/15.25	unsat
