14.47/17.85	unsat
