18.61/19.41	unsat
