17.05/17.62	unsat
