14.38/16.29	unsat
