16.33/17.77	unsat
