17.46/17.50	unsat
