14.51/17.86	unsat
