16.75/17.60	unsat
