16.67/17.60	unsat
