16.38/16.77	unsat
