17.95/19.41	unsat
