17.36/17.47	unsat
