16.66/17.60	unsat
