17.46/19.41	unsat
