14.38/14.40	unsat
