17.53/17.62	unsat
