17.32/17.41	unsat
