17.50/18.86	unsat
