17.36/17.46	unsat
