17.36/17.62	unsat
