14.38/16.89	unsat
