14.38/16.46	unsat
